Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 125 | 96 | 88 | 120 | 107 | 175 | 120 | 114 |
N.S. |
1 | 1.00 | 0.77 | 0.70 | 0.96 | 0.86 | 1.40 | 0.96 | 0.91 |
time (sec) |
N/A | 0.244 | 0.079 | 2.277 | 0.219 | 0.285 | 0.582 | 0.272 | 0.038 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 123 | 97 | 88 | 121 | 117 | 160 | 140 | 128 |
N.S. |
1 | 1.00 | 0.79 | 0.72 | 0.98 | 0.95 | 1.30 | 1.14 | 1.04 |
time (sec) |
N/A | 0.252 | 0.087 | 2.012 | 0.197 | 0.271 | 1.624 | 0.273 | 0.045 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 123 | 96 | 84 | 119 | 128 | 153 | 135 | 122 |
N.S. |
1 | 1.00 | 0.78 | 0.68 | 0.97 | 1.04 | 1.24 | 1.10 | 0.99 |
time (sec) |
N/A | 0.249 | 0.098 | 1.969 | 0.203 | 0.274 | 1.653 | 0.281 | 9.187 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | B | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 123 | 96 | 91 | 121 | 137 | 592 | 131 | 105 |
N.S. |
1 | 1.00 | 0.78 | 0.74 | 0.98 | 1.11 | 4.81 | 1.07 | 0.85 |
time (sec) |
N/A | 0.249 | 0.093 | 2.138 | 0.195 | 0.272 | 0.531 | 0.273 | 9.252 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | B | A | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 204 | 204 | 171 | 162 | 209 | 356 | 304 | 1147 | 187 |
N.S. |
1 | 1.00 | 0.84 | 0.79 | 1.02 | 1.75 | 1.49 | 5.62 | 0.92 |
time (sec) |
N/A | 0.336 | 0.171 | 2.044 | 0.218 | 0.280 | 0.963 | 0.282 | 0.072 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 204 | 204 | 170 | 163 | 209 | 303 | 304 | 784 | 187 |
N.S. |
1 | 1.00 | 0.83 | 0.80 | 1.02 | 1.49 | 1.49 | 3.84 | 0.92 |
time (sec) |
N/A | 0.328 | 0.163 | 2.081 | 0.196 | 0.270 | 0.791 | 0.294 | 9.239 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 204 | 204 | 170 | 162 | 209 | 252 | 304 | 469 | 187 |
N.S. |
1 | 1.00 | 0.83 | 0.79 | 1.02 | 1.24 | 1.49 | 2.30 | 0.92 |
time (sec) |
N/A | 0.315 | 0.127 | 1.966 | 0.208 | 0.272 | 0.702 | 0.273 | 0.052 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 200 | 200 | 171 | 162 | 212 | 202 | 303 | 212 | 187 |
N.S. |
1 | 1.00 | 0.86 | 0.81 | 1.06 | 1.01 | 1.52 | 1.06 | 0.94 |
time (sec) |
N/A | 0.316 | 0.139 | 2.199 | 0.197 | 0.359 | 0.680 | 0.279 | 0.052 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 198 | 198 | 171 | 163 | 217 | 211 | 272 | 265 | 215 |
N.S. |
1 | 1.00 | 0.86 | 0.82 | 1.10 | 1.07 | 1.37 | 1.34 | 1.09 |
time (sec) |
N/A | 0.315 | 0.163 | 1.996 | 0.199 | 0.385 | 3.197 | 0.276 | 9.285 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 200 | 200 | 171 | 163 | 215 | 223 | 252 | 258 | 225 |
N.S. |
1 | 1.00 | 0.86 | 0.82 | 1.08 | 1.12 | 1.26 | 1.29 | 1.12 |
time (sec) |
N/A | 0.313 | 0.143 | 2.405 | 0.220 | 0.447 | 3.285 | 0.275 | 9.473 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 170 | 163 | 215 | 234 | 241 | 253 | 222 |
N.S. |
1 | 1.00 | 0.87 | 0.83 | 1.10 | 1.19 | 1.23 | 1.29 | 1.13 |
time (sec) |
N/A | 0.325 | 0.138 | 2.344 | 0.198 | 0.683 | 3.364 | 0.274 | 0.066 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 167 | 184 | 225 | 216 | 0 | 1617 | 0 | 416 | 3385 |
N.S. |
1 | 1.10 | 1.35 | 1.29 | 0.00 | 9.68 | 0.00 | 2.49 | 20.27 |
time (sec) |
N/A | 0.448 | 0.677 | 2.840 | 0.000 | 0.332 | 0.000 | 0.333 | 9.803 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 149 | 167 | 208 | 168 | 0 | 974 | 0 | 314 | 1581 |
N.S. |
1 | 1.12 | 1.40 | 1.13 | 0.00 | 6.54 | 0.00 | 2.11 | 10.61 |
time (sec) |
N/A | 0.367 | 0.491 | 2.050 | 0.000 | 0.310 | 0.000 | 0.317 | 9.633 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 134 | 167 | 156 | 127 | 0 | 343 | 0 | 203 | 302 |
N.S. |
1 | 1.25 | 1.16 | 0.95 | 0.00 | 2.56 | 0.00 | 1.51 | 2.25 |
time (sec) |
N/A | 0.264 | 0.369 | 2.109 | 0.000 | 0.285 | 0.000 | 0.300 | 0.344 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 134 | 148 | 153 | 112 | 0 | 949 | 0 | 206 | 1366 |
N.S. |
1 | 1.10 | 1.14 | 0.84 | 0.00 | 7.08 | 0.00 | 1.54 | 10.19 |
time (sec) |
N/A | 0.231 | 0.430 | 2.218 | 0.000 | 0.320 | 0.000 | 0.292 | 9.713 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 209 | 218 | 188 | 0 | 2861 | 0 | 656 | 4412 |
N.S. |
1 | 1.31 | 1.36 | 1.18 | 0.00 | 17.88 | 0.00 | 4.10 | 27.58 |
time (sec) |
N/A | 0.316 | 0.640 | 2.080 | 0.000 | 0.331 | 0.000 | 0.322 | 10.611 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 190 | 270 | 241 | 224 | 0 | 5142 | 0 | 1165 | 7831 |
N.S. |
1 | 1.42 | 1.27 | 1.18 | 0.00 | 27.06 | 0.00 | 6.13 | 41.22 |
time (sec) |
N/A | 0.447 | 0.962 | 2.092 | 0.000 | 0.376 | 0.000 | 0.349 | 11.712 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 781 | 724 | 250 | 739 | 0 | 1641 | 0 | 424 | 3481 |
N.S. |
1 | 0.93 | 0.32 | 0.95 | 0.00 | 2.10 | 0.00 | 0.54 | 4.46 |
time (sec) |
N/A | 1.532 | 0.845 | 5.657 | 0.000 | 0.615 | 0.000 | 0.332 | 0.478 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 689 | 751 | 233 | 685 | 0 | 998 | 0 | 316 | 1625 |
N.S. |
1 | 1.09 | 0.34 | 0.99 | 0.00 | 1.45 | 0.00 | 0.46 | 2.36 |
time (sec) |
N/A | 1.129 | 0.611 | 2.754 | 0.000 | 0.490 | 0.000 | 0.325 | 9.917 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 478 | 545 | 176 | 508 | 0 | 355 | 0 | 203 | 308 |
N.S. |
1 | 1.14 | 0.37 | 1.06 | 0.00 | 0.74 | 0.00 | 0.42 | 0.64 |
time (sec) |
N/A | 0.744 | 0.451 | 2.578 | 0.000 | 0.413 | 0.000 | 0.315 | 9.745 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 538 | 596 | 171 | 527 | 0 | 941 | 0 | 210 | 1366 |
N.S. |
1 | 1.11 | 0.32 | 0.98 | 0.00 | 1.75 | 0.00 | 0.39 | 2.54 |
time (sec) |
N/A | 0.807 | 0.515 | 2.514 | 0.000 | 0.305 | 0.000 | 0.297 | 9.892 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 663 | 716 | 242 | 722 | 0 | 2863 | 0 | 659 | 4471 |
N.S. |
1 | 1.08 | 0.37 | 1.09 | 0.00 | 4.32 | 0.00 | 0.99 | 6.74 |
time (sec) |
N/A | 1.105 | 0.770 | 2.560 | 0.000 | 0.331 | 0.000 | 0.332 | 10.510 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 736 | 823 | 265 | 793 | 0 | 5149 | 0 | 1215 | 7908 |
N.S. |
1 | 1.12 | 0.36 | 1.08 | 0.00 | 7.00 | 0.00 | 1.65 | 10.74 |
time (sec) |
N/A | 1.172 | 1.289 | 2.623 | 0.000 | 0.398 | 0.000 | 0.375 | 11.621 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 263 | 274 | 295 | 341 | 0 | 2073 | 0 | 589 | 4090 |
N.S. |
1 | 1.04 | 1.12 | 1.30 | 0.00 | 7.88 | 0.00 | 2.24 | 15.55 |
time (sec) |
N/A | 0.588 | 1.425 | 2.560 | 0.000 | 0.531 | 0.000 | 0.381 | 10.345 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 231 | 244 | 257 | 296 | 0 | 1370 | 0 | 506 | 1988 |
N.S. |
1 | 1.06 | 1.11 | 1.28 | 0.00 | 5.93 | 0.00 | 2.19 | 8.61 |
time (sec) |
N/A | 0.455 | 1.687 | 2.439 | 0.000 | 0.349 | 0.000 | 0.377 | 9.983 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 209 | 239 | 233 | 250 | 0 | 679 | 0 | 414 | 704 |
N.S. |
1 | 1.14 | 1.11 | 1.20 | 0.00 | 3.25 | 0.00 | 1.98 | 3.37 |
time (sec) |
N/A | 0.403 | 1.444 | 2.319 | 0.000 | 0.314 | 0.000 | 0.364 | 0.442 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 194 | 201 | 226 | 246 | 0 | 1385 | 0 | 347 | 2332 |
N.S. |
1 | 1.04 | 1.16 | 1.27 | 0.00 | 7.14 | 0.00 | 1.79 | 12.02 |
time (sec) |
N/A | 0.310 | 0.771 | 2.492 | 0.000 | 0.601 | 0.000 | 0.347 | 11.282 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 262 | 274 | 305 | 0 | 3279 | 0 | 873 | 5253 |
N.S. |
1 | 1.18 | 1.23 | 1.37 | 0.00 | 14.77 | 0.00 | 3.93 | 23.66 |
time (sec) |
N/A | 0.431 | 1.051 | 2.610 | 0.000 | 0.821 | 0.000 | 0.342 | 11.639 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 265 | 342 | 311 | 347 | 0 | 5703 | 0 | 1411 | 8700 |
N.S. |
1 | 1.29 | 1.17 | 1.31 | 0.00 | 21.52 | 0.00 | 5.32 | 32.83 |
time (sec) |
N/A | 0.516 | 2.524 | 2.834 | 0.000 | 2.091 | 0.000 | 0.433 | 12.350 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 311 | 400 | 359 | 402 | 0 | 8308 | 0 | 1998 | 12290 |
N.S. |
1 | 1.29 | 1.15 | 1.29 | 0.00 | 26.71 | 0.00 | 6.42 | 39.52 |
time (sec) |
N/A | 0.650 | 1.786 | 2.750 | 0.000 | 3.244 | 0.000 | 0.489 | 14.250 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 887 | 856 | 316 | 1015 | 0 | 2091 | 0 | 596 | 4192 |
N.S. |
1 | 0.97 | 0.36 | 1.14 | 0.00 | 2.36 | 0.00 | 0.67 | 4.73 |
time (sec) |
N/A | 1.621 | 1.747 | 3.239 | 0.000 | 0.467 | 0.000 | 0.382 | 0.890 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 811 | 797 | 281 | 862 | 0 | 1383 | 0 | 492 | 2031 |
N.S. |
1 | 0.98 | 0.35 | 1.06 | 0.00 | 1.71 | 0.00 | 0.61 | 2.50 |
time (sec) |
N/A | 1.552 | 1.784 | 2.753 | 0.000 | 0.336 | 0.000 | 0.389 | 0.536 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 726 | 776 | 258 | 793 | 0 | 679 | 0 | 418 | 717 |
N.S. |
1 | 1.07 | 0.36 | 1.09 | 0.00 | 0.94 | 0.00 | 0.58 | 0.99 |
time (sec) |
N/A | 1.136 | 1.650 | 2.422 | 0.000 | 0.457 | 0.000 | 0.373 | 0.449 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F(-1) | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 675 | 676 | 250 | 0 | 0 | 1371 | 0 | 337 | 2380 |
N.S. |
1 | 1.00 | 0.37 | 0.00 | 0.00 | 2.03 | 0.00 | 0.50 | 3.53 |
time (sec) |
N/A | 0.980 | 0.942 | 0.000 | 0.000 | 0.558 | 0.000 | 0.352 | 11.467 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F(-1) | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 739 | 799 | 300 | 0 | 0 | 3267 | 0 | 875 | 5300 |
N.S. |
1 | 1.08 | 0.41 | 0.00 | 0.00 | 4.42 | 0.00 | 1.18 | 7.17 |
time (sec) |
N/A | 1.111 | 1.146 | 0.000 | 0.000 | 0.898 | 0.000 | 0.359 | 11.713 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 845 | 911 | 338 | 1059 | 0 | 5698 | 0 | 1397 | 8777 |
N.S. |
1 | 1.08 | 0.40 | 1.25 | 0.00 | 6.74 | 0.00 | 1.65 | 10.39 |
time (sec) |
N/A | 1.494 | 1.835 | 3.744 | 0.000 | 1.154 | 0.000 | 0.427 | 12.378 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 930 | 1013 | 379 | 1162 | 0 | 8281 | 0 | 2014 | 12390 |
N.S. |
1 | 1.09 | 0.41 | 1.25 | 0.00 | 8.90 | 0.00 | 2.17 | 13.32 |
time (sec) |
N/A | 2.055 | 3.126 | 4.357 | 0.000 | 3.288 | 0.000 | 0.510 | 13.896 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 294 | 323 | 346 | 377 | 0 | 1730 | 0 | 714 | 2518 |
N.S. |
1 | 1.10 | 1.18 | 1.28 | 0.00 | 5.88 | 0.00 | 2.43 | 8.56 |
time (sec) |
N/A | 0.565 | 2.877 | 2.643 | 0.000 | 0.382 | 0.000 | 0.434 | 0.738 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 279 | 312 | 289 | 329 | 0 | 1029 | 0 | 596 | 1015 |
N.S. |
1 | 1.12 | 1.04 | 1.18 | 0.00 | 3.69 | 0.00 | 2.14 | 3.64 |
time (sec) |
N/A | 0.501 | 2.150 | 2.542 | 0.000 | 0.538 | 0.000 | 0.421 | 0.531 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 268 | 284 | 268 | 281 | 0 | 1753 | 0 | 500 | 3191 |
N.S. |
1 | 1.06 | 1.00 | 1.05 | 0.00 | 6.54 | 0.00 | 1.87 | 11.91 |
time (sec) |
N/A | 0.508 | 1.986 | 2.445 | 0.000 | 0.579 | 0.000 | 0.428 | 11.957 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 281 | 344 | 340 | 369 | 0 | 3787 | 0 | 1064 | 6163 |
N.S. |
1 | 1.22 | 1.21 | 1.31 | 0.00 | 13.48 | 0.00 | 3.79 | 21.93 |
time (sec) |
N/A | 0.504 | 1.669 | 2.720 | 0.000 | 1.243 | 0.000 | 0.468 | 12.188 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 315 | 401 | 357 | 505 | 0 | 5776 | 0 | 1642 | 8961 |
N.S. |
1 | 1.27 | 1.13 | 1.60 | 0.00 | 18.34 | 0.00 | 5.21 | 28.45 |
time (sec) |
N/A | 0.624 | 1.660 | 2.951 | 0.000 | 2.451 | 0.000 | 0.429 | 12.813 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 905 | 894 | 371 | 1283 | 0 | 1751 | 0 | 719 | 2569 |
N.S. |
1 | 0.99 | 0.41 | 1.42 | 0.00 | 1.93 | 0.00 | 0.79 | 2.84 |
time (sec) |
N/A | 1.651 | 3.976 | 3.141 | 0.000 | 0.436 | 0.000 | 0.424 | 10.289 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 846 | 785 | 308 | 1025 | 0 | 1037 | 0 | 595 | 1028 |
N.S. |
1 | 0.93 | 0.36 | 1.21 | 0.00 | 1.23 | 0.00 | 0.70 | 1.22 |
time (sec) |
N/A | 1.426 | 2.514 | 2.897 | 0.000 | 0.321 | 0.000 | 0.440 | 0.526 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 769 | 824 | 287 | 1080 | 0 | 1752 | 0 | 502 | 3204 |
N.S. |
1 | 1.07 | 0.37 | 1.40 | 0.00 | 2.28 | 0.00 | 0.65 | 4.17 |
time (sec) |
N/A | 1.191 | 2.243 | 3.281 | 0.000 | 0.386 | 0.000 | 0.425 | 12.302 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F(-1) | F | B | F(-1) | A | B |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 849 | 909 | 367 | 0 | 0 | 3770 | 0 | 1068 | 6238 |
N.S. |
1 | 1.07 | 0.43 | 0.00 | 0.00 | 4.44 | 0.00 | 1.26 | 7.35 |
time (sec) |
N/A | 1.411 | 1.853 | 0.000 | 0.000 | 1.263 | 0.000 | 0.465 | 12.085 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F(-1) | F | B | F(-1) | B | B |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 920 | 1001 | 382 | 0 | 0 | 5779 | 0 | 1664 | 9035 |
N.S. |
1 | 1.09 | 0.42 | 0.00 | 0.00 | 6.28 | 0.00 | 1.81 | 9.82 |
time (sec) |
N/A | 1.921 | 2.060 | 0.000 | 0.000 | 3.928 | 0.000 | 0.423 | 12.644 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 214 | 226 | 61 | 194 | 0 | 77 | 0 | 179 | 179 |
N.S. |
1 | 1.06 | 0.29 | 0.91 | 0.00 | 0.36 | 0.00 | 0.84 | 0.84 |
time (sec) |
N/A | 0.439 | 0.193 | 4.266 | 0.000 | 0.315 | 0.000 | 0.715 | 0.138 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 316 | 363 | 82 | 255 | 0 | 199 | 0 | 0 | 133 |
N.S. |
1 | 1.15 | 0.26 | 0.81 | 0.00 | 0.63 | 0.00 | 0.00 | 0.42 |
time (sec) |
N/A | 0.562 | 0.189 | 4.620 | 0.000 | 0.297 | 0.000 | 0.000 | 0.156 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 35 | 42 | 35 | 29 | 45 | 40 | 48 | 48 | 28 |
N.S. |
1 | 1.20 | 1.00 | 0.83 | 1.29 | 1.14 | 1.37 | 1.37 | 0.80 |
time (sec) |
N/A | 0.176 | 0.077 | 2.352 | 0.285 | 0.361 | 1.703 | 0.280 | 9.246 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F(-2) | A | A | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 58 | 77 | 66 | 47 | 0 | 295 | 80 | 54 | 46 |
N.S. |
1 | 1.33 | 1.14 | 0.81 | 0.00 | 5.09 | 1.38 | 0.93 | 0.79 |
time (sec) |
N/A | 0.203 | 0.131 | 2.908 | 0.000 | 0.331 | 1.971 | 0.282 | 0.137 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | A | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 427 | 488 | 180 | 364 | 0 | 311 | 0 | 233 | 261 |
N.S. |
1 | 1.14 | 0.42 | 0.85 | 0.00 | 0.73 | 0.00 | 0.55 | 0.61 |
time (sec) |
N/A | 0.783 | 0.408 | 5.892 | 0.000 | 0.287 | 0.000 | 0.395 | 10.144 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | B | F | B | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 132 | 157 | 150 | 114 | 0 | 299 | 0 | 216 | 255 |
N.S. |
1 | 1.19 | 1.14 | 0.86 | 0.00 | 2.27 | 0.00 | 1.64 | 1.93 |
time (sec) |
N/A | 0.274 | 0.323 | 3.080 | 0.000 | 0.508 | 0.000 | 0.402 | 0.758 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 205 | 214 | 57 | 183 | 0 | 69 | 0 | 160 | 109 |
N.S. |
1 | 1.04 | 0.28 | 0.89 | 0.00 | 0.34 | 0.00 | 0.78 | 0.53 |
time (sec) |
N/A | 0.422 | 0.145 | 2.469 | 0.000 | 0.511 | 0.000 | 0.657 | 0.139 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | A | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 198 | 226 | 65 | 269 | 0 | 101 | 0 | 152 | 226 |
N.S. |
1 | 1.14 | 0.33 | 1.36 | 0.00 | 0.51 | 0.00 | 0.77 | 1.14 |
time (sec) |
N/A | 0.396 | 0.144 | 2.664 | 0.000 | 0.433 | 0.000 | 0.478 | 9.659 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | C | F | A | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 272 | 302 | 92 | 444 | 0 | 151 | 0 | 206 | 440 |
N.S. |
1 | 1.11 | 0.34 | 1.63 | 0.00 | 0.56 | 0.00 | 0.76 | 1.62 |
time (sec) |
N/A | 0.520 | 0.330 | 2.542 | 0.000 | 0.843 | 0.000 | 0.677 | 0.131 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 398 | 733 | 564 | 702 | 0 | 274 | 0 | 0 | 0 |
N.S. |
1 | 1.84 | 1.42 | 1.76 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.916 | 24.778 | 3.166 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 362 | 693 | 521 | 602 | 0 | 229 | 0 | 0 | 0 |
N.S. |
1 | 1.91 | 1.44 | 1.66 | 0.00 | 0.63 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.756 | 24.090 | 2.700 | 0.000 | 0.090 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 322 | 639 | 456 | 584 | 0 | 208 | 0 | 0 | 0 |
N.S. |
1 | 1.98 | 1.42 | 1.81 | 0.00 | 0.65 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.671 | 23.156 | 2.810 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 305 | 633 | 419 | 383 | 0 | 216 | 0 | 0 | 0 |
N.S. |
1 | 2.08 | 1.37 | 1.26 | 0.00 | 0.71 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.637 | 22.446 | 2.209 | 0.000 | 0.087 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 366 | 695 | 504 | 691 | 0 | 338 | 0 | 0 | 0 |
N.S. |
1 | 1.90 | 1.38 | 1.89 | 0.00 | 0.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.717 | 11.498 | 2.158 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 444 | 784 | 587 | 793 | 0 | 569 | 0 | 0 | 0 |
N.S. |
1 | 1.77 | 1.32 | 1.79 | 0.00 | 1.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.848 | 12.237 | 2.194 | 0.000 | 0.109 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F(-1) | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 497 | 849 | 698 | 0 | 0 | 367 | 0 | 0 | 0 |
N.S. |
1 | 1.71 | 1.40 | 0.00 | 0.00 | 0.74 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.046 | 25.708 | 180.000 | 0.000 | 0.101 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 448 | 799 | 646 | 863 | 0 | 310 | 0 | 0 | 0 |
N.S. |
1 | 1.78 | 1.44 | 1.93 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.039 | 25.540 | 4.503 | 0.000 | 0.192 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 393 | 731 | 560 | 728 | 0 | 273 | 0 | 0 | 0 |
N.S. |
1 | 1.86 | 1.42 | 1.85 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.824 | 24.549 | 3.033 | 0.000 | 0.167 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 369 | 702 | 548 | 755 | 0 | 294 | 0 | 0 | 0 |
N.S. |
1 | 1.90 | 1.49 | 2.05 | 0.00 | 0.80 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.767 | 24.278 | 4.110 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 358 | 690 | 494 | 727 | 0 | 319 | 0 | 0 | 0 |
N.S. |
1 | 1.93 | 1.38 | 2.03 | 0.00 | 0.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.705 | 23.599 | 4.369 | 0.000 | 0.094 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 410 | 757 | 585 | 788 | 0 | 521 | 0 | 0 | 0 |
N.S. |
1 | 1.85 | 1.43 | 1.92 | 0.00 | 1.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.814 | 12.176 | 2.638 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 491 | 839 | 644 | 876 | 0 | 811 | 0 | 0 | 0 |
N.S. |
1 | 1.71 | 1.31 | 1.78 | 0.00 | 1.65 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.948 | 12.881 | 3.774 | 0.000 | 0.236 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 566 | 939 | 790 | 1196 | 0 | 419 | 0 | 0 | 0 |
N.S. |
1 | 1.66 | 1.40 | 2.11 | 0.00 | 0.74 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.517 | 26.380 | 2.815 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 494 | 854 | 634 | 1148 | 0 | 369 | 0 | 0 | 0 |
N.S. |
1 | 1.73 | 1.28 | 2.32 | 0.00 | 0.75 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.986 | 24.965 | 3.220 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 457 | 811 | 684 | 1263 | 0 | 418 | 0 | 0 | 0 |
N.S. |
1 | 1.77 | 1.50 | 2.76 | 0.00 | 0.91 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.025 | 25.265 | 4.900 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 430 | 775 | 620 | 1041 | 0 | 470 | 0 | 0 | 0 |
N.S. |
1 | 1.80 | 1.44 | 2.42 | 0.00 | 1.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.868 | 24.918 | 5.585 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 420 | 772 | 603 | 912 | 0 | 504 | 0 | 0 | 0 |
N.S. |
1 | 1.84 | 1.44 | 2.17 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.904 | 24.660 | 6.351 | 0.000 | 0.200 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 498 | 840 | 660 | 942 | 0 | 772 | 0 | 0 | 0 |
N.S. |
1 | 1.69 | 1.33 | 1.89 | 0.00 | 1.55 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.934 | 13.425 | 8.770 | 0.000 | 0.281 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 553 | 920 | 762 | 1008 | 0 | 1115 | 0 | 0 | 0 |
N.S. |
1 | 1.66 | 1.38 | 1.82 | 0.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.036 | 15.577 | 5.172 | 0.000 | 0.145 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 413 | 763 | 575 | 748 | 0 | 273 | 0 | 0 | 0 |
N.S. |
1 | 1.85 | 1.39 | 1.81 | 0.00 | 0.66 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.905 | 24.942 | 3.136 | 0.000 | 0.092 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 359 | 696 | 540 | 644 | 0 | 232 | 0 | 0 | 0 |
N.S. |
1 | 1.94 | 1.50 | 1.79 | 0.00 | 0.65 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.781 | 24.452 | 2.752 | 0.000 | 0.086 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 317 | 644 | 445 | 597 | 0 | 209 | 0 | 0 | 0 |
N.S. |
1 | 2.03 | 1.40 | 1.88 | 0.00 | 0.66 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.665 | 23.655 | 2.823 | 0.000 | 0.136 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 136 | 583 | 294 | 396 | 0 | 173 | 0 | 0 | 0 |
N.S. |
1 | 4.29 | 2.16 | 2.91 | 0.00 | 1.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.588 | 20.539 | 2.140 | 0.000 | 0.146 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 136 | 233 | 186 | 200 | 0 | 66 | 0 | 0 | 0 |
N.S. |
1 | 1.71 | 1.37 | 1.47 | 0.00 | 0.49 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.271 | 21.300 | 2.177 | 0.000 | 0.081 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 186 | 634 | 329 | 629 | 0 | 234 | 0 | 0 | 0 |
N.S. |
1 | 3.41 | 1.77 | 3.38 | 0.00 | 1.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.678 | 10.548 | 2.476 | 0.000 | 0.085 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 382 | 718 | 494 | 706 | 0 | 380 | 0 | 0 | 0 |
N.S. |
1 | 1.88 | 1.29 | 1.85 | 0.00 | 0.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.751 | 11.705 | 2.869 | 0.000 | 0.091 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 447 | 809 | 599 | 795 | 0 | 632 | 0 | 0 | 0 |
N.S. |
1 | 1.81 | 1.34 | 1.78 | 0.00 | 1.41 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.915 | 13.083 | 3.592 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 426 | 773 | 569 | 794 | 0 | 367 | 0 | 0 | 0 |
N.S. |
1 | 1.81 | 1.34 | 1.86 | 0.00 | 0.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.860 | 24.696 | 5.943 | 0.000 | 0.178 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 363 | 707 | 480 | 693 | 0 | 302 | 0 | 0 | 0 |
N.S. |
1 | 1.95 | 1.32 | 1.91 | 0.00 | 0.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.783 | 13.130 | 2.771 | 0.000 | 0.223 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 321 | 653 | 414 | 643 | 0 | 266 | 0 | 0 | 0 |
N.S. |
1 | 2.03 | 1.29 | 2.00 | 0.00 | 0.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.694 | 15.601 | 2.150 | 0.000 | 0.087 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 298 | 634 | 408 | 384 | 0 | 223 | 0 | 0 | 0 |
N.S. |
1 | 2.13 | 1.37 | 1.29 | 0.00 | 0.75 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.637 | 12.375 | 2.211 | 0.000 | 0.083 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | B | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 331 | 671 | 430 | 687 | 0 | 291 | 0 | 0 | 0 |
N.S. |
1 | 2.03 | 1.30 | 2.08 | 0.00 | 0.88 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.711 | 11.236 | 2.374 | 0.000 | 0.089 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 406 | 759 | 568 | 815 | 0 | 545 | 0 | 0 | 0 |
N.S. |
1 | 1.87 | 1.40 | 2.01 | 0.00 | 1.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.827 | 11.862 | 3.021 | 0.000 | 0.141 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 485 | 847 | 616 | 945 | 0 | 909 | 0 | 0 | 0 |
N.S. |
1 | 1.75 | 1.27 | 1.95 | 0.00 | 1.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.929 | 25.473 | 4.298 | 0.000 | 0.510 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 475 | 836 | 700 | 883 | 0 | 564 | 0 | 0 | 0 |
N.S. |
1 | 1.76 | 1.47 | 1.86 | 0.00 | 1.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.090 | 14.813 | 3.538 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 418 | 767 | 612 | 815 | 0 | 495 | 0 | 0 | 0 |
N.S. |
1 | 1.83 | 1.46 | 1.95 | 0.00 | 1.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.872 | 13.561 | 4.335 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 392 | 732 | 580 | 755 | 0 | 418 | 0 | 0 | 0 |
N.S. |
1 | 1.87 | 1.48 | 1.93 | 0.00 | 1.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.811 | 24.709 | 4.219 | 0.000 | 0.189 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 368 | 706 | 504 | 700 | 0 | 348 | 0 | 0 | 0 |
N.S. |
1 | 1.92 | 1.37 | 1.90 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.776 | 24.873 | 2.055 | 0.000 | 0.186 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 392 | 742 | 602 | 776 | 0 | 459 | 0 | 0 | 0 |
N.S. |
1 | 1.89 | 1.54 | 1.98 | 0.00 | 1.17 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.796 | 12.117 | 2.091 | 0.000 | 0.092 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 450 | 803 | 555 | 858 | 0 | 578 | 0 | 0 | 0 |
N.S. |
1 | 1.78 | 1.23 | 1.91 | 0.00 | 1.28 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.862 | 12.273 | 3.553 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 532 | 911 | 638 | 1000 | 0 | 1148 | 0 | 0 | 0 |
N.S. |
1 | 1.71 | 1.20 | 1.88 | 0.00 | 2.16 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.079 | 25.163 | 4.068 | 0.000 | 0.158 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 151 | 151 | 260 | 0 | 0 | 337 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.72 | 0.00 | 0.00 | 2.23 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.224 | 0.534 | 0.000 | 0.000 | 25.566 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F | A | F | F(-1) |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 558 | 631 | 53 | 40 | 0 | 0 | 85 | 0 | 0 |
N.S. |
1 | 1.13 | 0.09 | 0.07 | 0.00 | 0.00 | 0.15 | 0.00 | 0.00 |
time (sec) |
N/A | 0.532 | 16.384 | 2.632 | 0.000 | 0.000 | 2.769 | 0.000 | 0.000 |